1. Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
Author: Pierre Laurence, Thomas Kropf )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1703
2. Formal hardware verification : methods and systems in comparison
Author: Thomas Kropf, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
1287
3. Introduction to formal hardware verification
Author: Kropf, Thomas
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification
Classification :
TK
7874
.
75
.
K76
1999
4. Theorem provers in circuit design :
Author: Ramayya Kumar, Thomas Kropf, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
Classification :
TK7874
.
65
R363
1995
